" Hubert Comon" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Rewriting Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)

Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner

Категория: Компьютеры

2.95 Mb

#2

Tree Automata Techniques and Applications

Hubert Comon, Max Dauchet, Remi Gilleron, Florent Jacquemard, Denis Lugiez, Christof Löding, Sophie Tison, Marc Tommasi

2.00 Mb

#3

Rewriting, Computation and Proof

Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner

Категория: Cs_Computer science, CsLn_Lecture notes

3.45 Mb

#4

Rewriting Techniques and Applications, 8 conf., RTA-97

Категория: Cs_Computer science, CsLn_Lecture notes

3.17 Mb

#5

Constraints in Computational Logics: Theory and Applications, CCL'99

Hubert Comon, Claude Marche, Ralf Treinen

Категория: Cs_Computer science, CsLn_Lecture notes

2.01 Mb

#6

Computer Aided Verification, 13 conf., CAV 2001

Gerard Berry, Hubert Comon, Alain Finkel

Категория: Cs_Computer science, CsLn_Lecture notes

4.16 Mb

#7

Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

Hubert Comon, Jean-Pierre Jouannaud

1.95 Mb